任务空间概念建模语言初探

通过研究军事专家与系统分析人员的沟通问题,借鉴可视化建模、分层建模和多视图建模的思想,提出了任务空间概念建模语言(MSCML),对MSCML语言的各个建模元素进行了简要的说明.     

基于随机Petri网的综合航电系统建模及分析

提出了一种利用随机Petri网对综合航电系统进行建模和性能分析的方法.首先,建立了综合航电系统数据总线传输系统的随机Petri网系统模型,通过系统模型进行综合航电系统的性能分析;其次,给出了航空电子综合系统数据总线传输基于固定主控端周期指令的总线性能分析结果;最后,通过两种分析结果的比较,得出了基于随机Petri网对航空电子综合系统数据总线传输建模分析是可行的结论.     

反潜飞机对潜搜索法研究

反潜飞机使用吊放声纳对潜搜索具有不连续性.针对该特点,提出一种在实际搜索中能方便执行并且具有一定实用价值的搜索法.该法的基本思想是:通过增大或者减小取整的方法来保证起始相遇点在起始点,终止相遇点在该搜索段的终止点.算例验证该法正确可信.     

面向决策的一体化建模方法及其在兵力筹划中的应用

在对军事决策问题的主要特点进行分析的基础上,提出从军事概念模型到数学模型再到定性推理模型的一体化建模思想.以空军航空兵遂行直接航空火力支援任务为想定背景,根据EATI模板,利用基于UML的Rose工具依次对想定任务的实体、任务、交互等进行分析;对于兵力筹划中的结构化问题建立了机会约束多目标规划数学模型;对于非结构化问题则构造了推理机,推理机体现了定量与定性相结合的决策分析思想.最后,以一个实例验证文章思路的可行性.     

The economic effects of international trade in armaments in the major western industrialized and developing countries†

We have used the Michigan Model of World Production and Trade to assess the impact of exports and imports of armaments (based on 1980 data) on sectoral trade and employment and other economic variables in the major Western trading countries. If the United States were to place a unilateral embargo on its arms exports and imports, we calculate that it would experience a comparatively small amount of employment displacement in the aggregate and that most of this displacement would occur in the transport equipment and electric machinery sectors. If all the major Western countries were to place a multilateral embargo on their arms trade, the sectoral effects on the United States would be similarly small. But the sectoral effects in several other industrialized and developing countries measured as a percentage of sectoral employment, would be larger, indicating potential short‐run adjustment problems in labor markets in some cases.     

仿生偏振光导航传感器量测模型研究

仿生偏振导航传感器仿照昆虫利用天空偏振光进行导航的原理,测量载体的姿态和方位,具有精度高、功耗低等优势,是一种新型的导航传感器．根据偏振导航的原理分析偏振导航传感器的测量参考矢量和导航能力,根据其参考矢量的数量及性质,对偏振导航传感器使用在不同性质载体上的测量进行建模,并提出其对载体进行定姿的条件．     

基于时滞分割法的具有leakage项时滞的离散型神经网络状态估计

摘要：研究一类具有leakage时滞的离散型神经网络的状态估计问题．通过构造新的Lyapunov泛函得到保证估计误差全局渐近稳定的充分条件,并通过求解一个线性矩阵不等式（LMI）得到状态估计器的增益矩阵．采用一种新的时滞分割方法将变时滞区间分割为多个子区间,使该结果在获得更小的保守性同时也降低了计算的复杂度．     

基于仿真实验的弹道导弹阵地优选

合理部署弹道导弹位置对于提高作战效能具有至关重要的作用。基于解析计算的优化方法难以反映环境因素、武器装备的技术和动力特性等不确定性因素对部署位置的影响,求得的结果存在置信度低的问题。故将解析法与仿真实验相结合,以体系对抗条件下弹道导弹作战效能评估的数学模型为基础,建立了由各种作战实体和行动的模型聚合而成的弹道导弹攻防对抗仿真模型,然后通过仿真实验找出最优部署位置,最后给出了应用示例。实验表明该方法具有速度快、效率高、结果清晰直观的特点,可为指挥员提供科学、快速的决策支持。     

保障需求分析方法及其应用

针对当前在装备保障需求分析过程中缺乏合适的方法和工具的问题,提出一种基于能力与面向需求分析相结合的装备保障需求分析方法,并通过运用解释结构模型法,对分析结果的结构及相互关系进行科学构建.力求通过该方法的应用,能够辅助论证人员深刻理解和合理判断各种因素之间的相互影响关系,通过结构化和对比化的装备保障需求分析过程得到能正确反映保障需求的关系结构.从而为装备保障发展内容的分析打下良好的理论基础.     

业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.